The Tree Identify Protocol of IEEE 1394 in μCRL
نویسندگان
چکیده
منابع مشابه
The Tree Identify Protocol of IEEE 1394
We specify the tree identify protocol of a high performance serial multi-media bus (IEEE standard 1394 IEE95]) in three diierent levels of detail using CRL GP95]. We propose using the cones and foci veriication technique of Groote and Springintveld GS95] to show the descriptions equivalent under branching bisimulation. The proof of the equivalence of the two more abstract speciications is shown...
متن کاملThe Tree Identify Protocol of IEEE 1394 in
We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three diierent levels of detail using CRL. We use the cones and foci veriication technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected.
متن کاملThe Leader Election Protocol of IEEE 1394 in Maude
In this paper we consider three descriptions, at different abstract levels, of the leader election protocol from the IEEE 1394 serial multimedia bus. The descriptions are given using the language Maude based on rewriting logic. Particularly, the time aspects of the protocol are studied. The descriptions are first validated by an exhaustive exploration of all the possible behaviors and states re...
متن کاملA Timed Verification of the IEEE 1394 Leader Election Protocol
The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error sit...
متن کاملAn Empirical Analysis of the IEEE-1394 Serial Bus Protocol
Recently, we have begun to see a convergence of traditional network and bus technologies. The IEEE-1394 Serial Bus Protocol (FireWire) is a good example of this convergence, targeting the interconnection of consumer electronics, computers, and peripheral devices. IEEE 1394 provides for a high-speed, plug-and-play, peer-to-peer interconnect supporting both asynchronous and isochronous traffic. I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1998
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s001650050030